21dbbf2d4bd86ef16390cdf5a441dfde45fe08bf,plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/folding/DefaultFoldingRegionAcceptor.java,DefaultFoldingRegionAcceptor,getLineRegion,#number#number#,46
Before Change
position = new Region(start, end - start);
}
} catch (BadLocationException e) {
log.error(e.getMessage(), e);
}
return position;
}
After Change
position = new Region(start, end - start);
}
} catch (BadLocationException e) {
if (log.isInfoEnabled())
log.info(e.getMessage(), e);
}
return position;
}